Skip to main content
盛安安's user avatar
盛安安's user avatar
盛安安's user avatar
盛安安
  • Member for 11 years, 4 months
  • Last seen this week
Profile Activity
Stats
1,191
reputation
59k
reached
3
answers
18
questions
Communities
Badges
View all badges
1
gold badge
9
silver badges
21
bronze badges
Top tags
View all tags
0
Score
8
Posts
38
Posts %
0
Score
5
Posts
24
Posts %
0
Score
3
Posts
14
Posts %
0
Score
3
Posts
14
Posts %
0
Score
3
Posts
14
Posts %
0
Score
3
Posts
14
Posts %
Top posts
View all questions, answers, and articles
61
How do I use conditional compilation with `cfg` and Cargo?
Dec 24, 2014
13
What are sized types in Agda?
Nov 2, 2016
10
What are cumulative universes and `* : *`?
Nov 13, 2015
7
Is there any way to work around an unused type parameter?
Jan 24, 2015
5
logging while running `cargo test` [duplicate]
Feb 9, 2016
5
What's the intention behind Idris' `BorrowedType`?
Oct 2, 2016
3
Inferring correct types of lambdas in Scala
Mar 26, 2013
3
Is there a non-trivial example with universe inconsistency in Idris?
Jun 18, 2016
2
How do I parse Python-style chaining operators in Haskell using parsec?
Jun 4
1
Segfault when calling llvm_sys' LLVMCreateTargetMachine to generate object file in Rust
May 16, 2016
Top network posts
View all network posts
18
"Minimal" intuitionistic type theory?
14
What is induction-induction?
9
What is a super universe?
9
Cubical type theory for dummies?
8
Elimination rule for the equality type aka J axiom