Skip to content

Releases: ReplicaTest/replica-dhall

Release list

v0.2.4

v0.2.4 Latest
Latest

Choose a tag to compare

View all tags
@berewt berewt released this 16 Dec 07:26
v0.2.4
d08c36b
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Upgrade to dhall prelude 23.1.

Assets 2
Loading

v0.2.3

v0.2.3

Choose a tag to compare

View all tags
@berewt berewt released this 18 Feb 21:38
v0.2.3
191d0e9
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Just dependencies update

Loading

v0.2.2

v0.2.2

Choose a tag to compare

View all tags
@berewt berewt released this 04 Jan 20:53
v0.2.2
885dd31
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode. 
Dhall v22 and following dhall to nix best practices (#2)
Loading

v0.2.1

v0.2.1

Choose a tag to compare

View all tags
@berewt berewt released this 15 Mar 20:16
v0.2.1
df23f88
  • Fix Suite to accept a Replica object (a list of named tests) instead of a single test
  • Freeze the Prelude version we use
Loading

v0.2

v0.2

Choose a tag to compare

View all tags
@berewt berewt released this 14 Oct 14:31
v0.2
4c3c4b1

Add suite support

Loading

v0.1

v0.1

Choose a tag to compare

View all tags
@berewt berewt released this 30 Sep 15:16
v0.1
d7001cd

Full dhall language for Replica v0.4.1:

  • Basic language syntax;
  • Idris specific sublanguage.
Loading