Skip to content

Activity

Showing most recent first

moved LgCeil to Kami repo

vmuralipushed 1 commit to master • cf3a1d1…7d6221e • 
on Oct 4, 2024

removed all warnings

vmuralipushed 1 commit to master • b2fd4cb…cf3a1d1 • 
on Sep 19, 2024

bumping to 8.19.0

vmuralipushed 1 commit to master • e10ac9f…b2fd4cb • 
on Feb 16, 2024

remove Fin from Export module list

vmuralipushed 1 commit to master • 2be066c…e10ac9f • 
on Nov 22, 2023

Changed Struct Kind's index to have a single function from Fin.t to (…

vmuralipushed 1 commit to master • 5da42c7…2be066c • 
on Nov 18, 2023

using the new 'Sub' notation in Kami

vmuralipushed 1 commit to master • 44b8df0…5da42c7 • 
on Nov 9, 2023

Removing RecordUpdate, fixing order of nat and string

vmuralipushed 1 commit to master • 9513963…44b8df0 • 
on Aug 18, 2023

Deleted branch

vmuralideleted snapshot-coq.8.11.1 • 
on Aug 18, 2023

Upgrading coq and haskell versions

Pull request merge
vmuralipushed 3 commits to master • a192f56…9513963 • 
on Aug 18, 2023

Coq version 8.16.1 and GHC 9.4.4

vmuralipushed 1 commit to snapshot-coq.8.11.1 • c769382…39ed80d • 
on Aug 18, 2023

Deleted branch

vmuralideleted fresh • 
on Aug 15, 2023

Deleted branch

vmuralideleted NWL • 
on Aug 15, 2023

fixing compile errors with Coq-8.11.1

vmuralicreated fresh • c769382 • 
on Aug 15, 2023

fixing compile errors with Coq-8.11.1

vmuralipushed 1 commit to snapshot-coq.8.11.1 • a192f56…c769382 • 
on Aug 15, 2023

New word merge (#5)

vmuralicreated snapshot-coq.8.11.1 • a192f56 • 
on Aug 11, 2023