Commit Graph

Select branches

Hide Pull Requests

bug/expr-proj-to-app-panic

dev

doc/rationale

env/inspect

env/module

io/async

main

misc/build

parse/level

serial/pickle

#10

#100

#101

#105

#107

#108

#109

#11

#110

#111

#113

#115

#116

#119

#12

#120

#121

#123

#128

#129

#13

#130

#133

#134

#135

#136

#139

#14

#140

#141

#143

#144

#145

#146

#148

#149

#15

#152

#153

#154

#155

#156

#157

#158

#159

#16

#161

#17

#2

#20

#21

#25

#26

#27

#28

#29

#30

#31

#32

#33

#35

#36

#37

#38

#40

#41

#42

#43

#44

#45

#46

#47

#48

#49

#5

#50

#51

#52

#53

#54

#55

#56

#58

#59

#60

#63

#64

#65

#66

#68

#69

#7

#70

#71

#72

#73

#75

#76

#79

#81

#82

#83

#85

#86

#87

#89

#90

#91

#92

#94

#96

#99

0.1

0.2.3

v0.2.10

v0.2.10-alpha

v0.2.11

v0.2.12

v0.2.13

v0.2.14

v0.2.18

v0.2.19

v0.2.19-alpha

v0.2.20

v0.2.21

v0.2.22

v0.2.23

v0.2.24

v0.2.5

v0.2.6

v0.2.7

v0.2.8

v0.2.9

Mono Color

• 41241bfa40 Add REPL tactics Leni Aniva 2023-05-21 17:41:39 -0700
• 15aab3d31f Remove ExceptT from main monad Leni Aniva 2023-05-20 15:58:38 -0700
• ed70875837 Remove ExceptT from main monad Leni Aniva 2023-05-20 15:58:38 -0700
• 2a4d348aab Add expression IO stub for constant types Leni Aniva 2023-05-20 14:04:09 -0700
• c4a1ccad13 Add expression IO stub for constant types Leni Aniva 2023-05-20 14:04:09 -0700
• 8127e9ba06 Add alternative command input format and IO stub Leni Aniva 2023-05-20 13:03:12 -0700
• 65da39440d Add alternative command input format and IO stub Leni Aniva 2023-05-20 13:03:12 -0700
• e246fd961f Add tactic state manipulation Leni Aniva 2023-05-17 21:58:03 -0700
• 14a6eb1f59 Add tactic state manipulation Leni Ven 2023-05-17 21:58:03 -0700
• 4d636ec12b Add stack size troubleshooting Leni Aniva 2023-05-14 15:22:41 -0700
• 2ec4efde55 Add stack size troubleshooting Leni Ven 2023-05-14 15:22:41 -0700
• d3af535652 Add unsafe filtering in catalog Leni Aniva 2023-05-12 16:12:21 -0700
• 3cb0795bb6 Add unsafe filtering in catalog Leni Ven 2023-05-12 16:12:21 -0700
• 7c96479bb5 Add working catalog code and example Leni Aniva 2023-05-12 01:08:36 -0700
• 9f53781ffe Add working catalog code and example Leni Aniva 2023-05-12 01:08:36 -0700
• b5cb464694 Add README and catalog functions Leni Aniva 2023-05-09 22:51:19 -0700
• 5a297e8fef Add README and catalog functions Leni Ven 2023-05-09 22:51:19 -0700
• f6a520c7a0 Separate commands into its own file Leni Aniva 2023-05-09 18:01:09 -0700
• 0b2db92b4a Separate commands into its own file Leni Aniva 2023-05-09 18:01:09 -0700
• 1a611c1415 Add REPL Leni Aniva 2023-05-09 16:39:24 -0700
• 9a957bce35 Add REPL Leni Ven 2023-05-09 16:39:24 -0700
• 9bba78eb1d Initial commit Leni Aniva 2023-05-07 15:19:45 -0700