waalge/aiken
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
Files
05eb281f400bc1656f552b1d57f4018d236bfeb5
aiken/examples/acceptance_tests/005/lib/tests.ak
microproofs 23a7e7e680 chore: convert acceptance test 5 
Also constructors with no fields are now converted to a constant data term.
2023-04-19 16:08:55 -04:00

222 B
Raw Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink