balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
5,215 Commits 2 Branches 0 Tags 65 MiB
5f4c5299d8
Commit Graph

1 Commits

Author SHA1 Message Date
Pierre-Emmanuel Wulfman
6dd7afbeb1 change passes name concrete_to_imperative, imperative_to_sugar, sugar_to_core 2020-03-18 16:00:34 +01:00