waalge/aiken
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
Files
add513790d5f10fd69a93156a240a307e06720b1
aiken/crates/flat-rs
History
microproofs 82ceb5b696 chore: Release
2023-09-29 19:39:28 -04:00
..
src
add tests for case and constr
2023-09-03 11:52:49 -04:00
tests
test: add empty list test
2023-07-04 17:19:29 -04:00
Cargo.toml
chore: Release
2023-09-29 19:39:28 -04:00
README.md
chore: make folder names match crate name
2022-12-21 18:11:07 -05:00

README.md

Flat

A Rust port of the Haskell reference implementation.

Reference in New Issue View Git Blame Copy Permalink