Logo
Explore Help
Sign In
aniva/Pantograph
aniva
/
Pantograph
1
1
Fork
You've already forked Pantograph
0
Code Issues 16 Pull Requests 2 Packages Projects Releases Wiki Activity

0.2.12

New Issue
  1. Print information about inducts, recursors, and constructors in env.inspect.
2024-01-31
100% Completed
0 Open 3 Closed
Label
Use alt + click/enter to exclude labels
All labels No label
category
bug

category
chore

category
doc

category
feature

category
optimization

category
organization

part/Delation

part/Elab

part/Environment

part/FFI

part/Frontend

part/Goal

part/REPL

part/Serial

priority
high

priority
irrelevant

priority
low

priority
medium

priority
pending-measurement

Project
All projects No project
Author
All authors
Assignee
All assignees No assignee
paperNeko aniva
Sort
Newest Oldest Recently updated Least recently updated Most commented Least commented Nearest due date Farthest due date
feat: Add leanpkgs to the flake output
category
feature
#46 by aniva was merged 2024-02-15 14:30:31 -08:00
dev
nix/toolchain
feat: Print parent expression assignment
category
feature
part/Goal
#45 by aniva was merged 2024-02-15 14:55:05 -08:00
dev
goal/relation
feat: Print inductives, constructors, and recursors in env.inspect
category
feature
part/Environment
#43 by aniva was merged 2024-01-17 14:02:56 -08:00
dev
env/inspect
Powered by Gitea Version: 1.21.11 Page: 97ms Template: 14ms
English
Bahasa Indonesia Deutsch English Español Français Italiano Latviešu Magyar nyelv Nederlands Polski Português de Portugal Português do Brasil Suomi Svenska Türkçe Čeština Ελληνικά Български Русский Українська فارسی മലയാളം 日本語 简体中文 繁體中文(台灣) 繁體中文(香港) 한국어
Licenses API