| .. |
|
BBT
|
refactor BBT to new syntax
|
2024-03-20 09:28:46 -03:00 |
|
BMap
|
some fixes and add BMap data structure
|
2024-03-20 15:33:17 -03:00 |
|
Bool
|
add more List and Nat functions
|
2024-03-20 12:47:25 -03:00 |
|
Char
|
diff savida
|
2024-03-15 22:07:01 -03:00 |
|
Cmp
|
diff savida
|
2024-03-15 22:07:01 -03:00 |
|
Empty
|
diff savida
|
2024-03-15 22:07:01 -03:00 |
|
Equal
|
desugar match with implicit args
|
2024-05-24 23:40:13 -03:00 |
|
HVM
|
refactor IO and HVM
|
2024-03-20 10:01:34 -03:00 |
|
IO
|
refactor IO and HVM
|
2024-03-20 10:01:34 -03:00 |
|
Kind
|
diff savida
|
2024-03-15 22:07:01 -03:00 |
|
List
|
add more List and Nat functions
|
2024-03-20 12:47:25 -03:00 |
|
Maybe
|
diff savida
|
2024-03-15 22:07:01 -03:00 |
|
Monad
|
diff savida
|
2024-03-15 22:07:01 -03:00 |
|
Nat
|
some fixes and add BMap data structure
|
2024-03-20 15:33:17 -03:00 |
|
Pair
|
diff savida
|
2024-03-15 22:07:01 -03:00 |
|
Parser
|
Refactor String/Map functions
|
2024-03-22 13:23:43 -03:00 |
|
QBool
|
diff savida
|
2024-03-15 22:07:01 -03:00 |
|
QBool2
|
diff savida
|
2024-03-15 22:07:01 -03:00 |
|
Sigma
|
diff savida
|
2024-03-15 22:07:01 -03:00 |
|
String
|
Refactor String/Map functions
|
2024-03-22 13:23:43 -03:00 |
|
The
|
diff savida
|
2024-03-15 22:07:01 -03:00 |
|
Tree
|
first kind2-hvm2 program run! sum-tree via fold
|
2024-03-15 23:06:44 -03:00 |
|
U60
|
unification fine polishments - see notes
|
2024-03-18 16:59:21 -03:00 |
|
Unit
|
diff savida
|
2024-03-15 22:07:01 -03:00 |
|
Vector
|
diff savida
|
2024-03-15 22:07:01 -03:00 |
|
_check_all.sh
|
auto formatter
|
2024-03-01 20:40:31 -03:00 |
|
_err.txt
|
U60 syntax without hashtag; numeric match now called switch
|
2024-03-14 13:35:03 -03:00 |
|
_main
|
first kind2-hvm2 program run! sum-tree via fold
|
2024-03-15 23:06:44 -03:00 |
|
_main.hvm2
|
first kind2-hvm2 program run! sum-tree via fold
|
2024-03-15 23:06:44 -03:00 |
|
_main.hvmc
|
first kind2-hvm2 program run! sum-tree via fold
|
2024-03-15 23:06:44 -03:00 |
|
_main.js
|
first kind2-hvm2 program run! sum-tree via fold
|
2024-03-15 23:06:44 -03:00 |
|
_main.kind2
|
first kind2-hvm2 program run! sum-tree via fold
|
2024-03-15 23:06:44 -03:00 |
|
_OBLITERATE.kind2
|
fix obliterate
|
2024-03-01 12:21:43 -03:00 |
|
_tmp.hvm2
|
implicits args and stuff
|
2024-03-15 18:51:25 -03:00 |
|
_tmp.kind2
|
implicits args and stuff
|
2024-03-15 18:51:25 -03:00 |
|
BBT.kind2
|
refactor BBT to new syntax
|
2024-03-20 09:28:46 -03:00 |
|
BMap.kind2
|
some fixes and add BMap data structure
|
2024-03-20 15:33:17 -03:00 |
|
Bool.kind2
|
use-declarations with shadowing
|
2024-03-12 18:01:12 -03:00 |
|
Char.kind2
|
U60 syntax without hashtag; numeric match now called switch
|
2024-03-14 13:35:03 -03:00 |
|
Cmp.kind2
|
diff savida
|
2024-03-15 22:07:01 -03:00 |
|
Empty.kind2
|
diff savida
|
2024-03-15 22:07:01 -03:00 |
|
Equal.kind2
|
diff savida
|
2024-03-15 22:07:01 -03:00 |
|
IO.kind2
|
refactor IO and HVM
|
2024-03-20 10:01:34 -03:00 |
|
Kind.kind2
|
use-notation
|
2024-03-08 17:39:37 -03:00 |
|
List.kind2
|
pattern-match syntax
|
2024-03-12 13:44:49 -03:00 |
|
Maybe.kind2
|
diff savida
|
2024-03-15 22:07:01 -03:00 |
|
Monad.kind2
|
some fixes and add BMap data structure
|
2024-03-20 15:33:17 -03:00 |
|
Nat.kind2
|
ADT syntax continuation
|
2024-03-12 11:55:09 -03:00 |
|
Pair.kind2
|
diff savida
|
2024-03-15 22:07:01 -03:00 |
|
Parser.kind2
|
auto formatter
|
2024-03-01 20:40:31 -03:00 |
|
QBool.kind2
|
Fix some syntaxes uses of switch +: to _:
|
2024-03-14 17:07:40 -03:00 |
|
QBool2.kind2
|
Fix some syntaxes uses of switch +: to _:
|
2024-03-14 17:07:40 -03:00 |
|
QUnit.kind2
|
Fix some syntaxes uses of switch +: to _:
|
2024-03-14 17:07:40 -03:00 |
|
script.js
|
diff savida
|
2024-03-15 22:07:01 -03:00 |
|
Sigma.kind2
|
list/nat syntax sugars, reorganizations
|
2024-03-09 17:59:39 -03:00 |
|
String.kind2
|
diff savida
|
2024-03-15 22:07:01 -03:00 |
|
test1.kind2
|
U60 syntax without hashtag; numeric match now called switch
|
2024-03-14 13:35:03 -03:00 |
|
test2.kind2
|
U60 syntax without hashtag; numeric match now called switch
|
2024-03-14 13:35:03 -03:00 |
|
test3.kind2
|
U60 syntax without hashtag; numeric match now called switch
|
2024-03-14 13:35:03 -03:00 |
|
test4.kind2
|
auto formatter
|
2024-03-01 20:40:31 -03:00 |
|
test5.kind2
|
auto formatter
|
2024-03-01 20:40:31 -03:00 |
|
test6.kind2
|
auto formatter
|
2024-03-01 20:40:31 -03:00 |
|
test7.kind2
|
auto formatter
|
2024-03-01 20:40:31 -03:00 |
|
test8.kind2
|
U60 syntax without hashtag; numeric match now called switch
|
2024-03-14 13:35:03 -03:00 |
|
test9.kind2
|
U60 syntax without hashtag; numeric match now called switch
|
2024-03-14 13:35:03 -03:00 |
|
test10.kind2
|
use-notation
|
2024-03-08 17:39:37 -03:00 |
|
test11.kind2
|
U60 syntax without hashtag; numeric match now called switch
|
2024-03-14 13:35:03 -03:00 |
|
test0.kind2
|
working hs
|
2024-03-06 11:35:17 -03:00 |
|
testBBT.kind2
|
auto formatter
|
2024-03-01 20:40:31 -03:00 |
|
The.kind2
|
diff savida
|
2024-03-15 22:07:01 -03:00 |
|
Tree.kind2
|
first kind2-hvm2 program run! sum-tree via fold
|
2024-03-15 23:06:44 -03:00 |
|
Unit.kind2
|
diff savida
|
2024-03-15 22:07:01 -03:00 |
|
Vector.kind2
|
diff savida
|
2024-03-15 22:07:01 -03:00 |
