LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Agda

inception

vikraman/inception

AgdaEmerging

Stars

2

Forks

—

Contributors

1

Last push

1d ago

Recent commits

Latest commits.

Merge branch 'metr-3'
c6eef90Gregor Feierabend2mo ago
removed all metric-related code
3469d5dGregor Feierabend2mo ago
commented out everything metric-related
6a8353eGregor Feierabend2mo ago
Merge remote-tracking branch 'origin/metr-3' into metr-3
a0d9971Gregor Feierabend2mo ago
grouped metric related code in ValueMachine together
f761163Gregor Feierabend2mo ago

backuping current state

0e126a9Gregor Feierabend3mo ago

reverted changes in push case in comp-mono-metric (+2 is necessary because of how csn-to-nat is defined)

b48f456Gregor Feierabend3mo ago

changed comp-mono-metric for push (removed +2; seems unnecessary)

526ba6aGregor Feierabend3mo ago

Top contributors

Builders behind this project.