Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
Π Dependent Types
Specific
dependent type theory, Idris, Agda, Pi types, Sigma types
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
171788
posts in
21.8
ms
Are
Dependent
Types in Set Theory
Feasible
?
arxiv.org
·
4d
🔤
Type Systems
Less-relevant results
TypeScript
vs
JavaScript
: Should You Switch? (Complete 2026 Guide)
dev.to
·
13h
·
Discuss:
DEV
🔤
Type Systems
Equality
in Dependent Type
Theories
nadrieril.github.io
·
12h
🔤
Type Systems
familial
2-monad
in
nLab
ncatlab.org
·
6h
🔄
Category Theory
The
Newtype
Pattern and
Orphan
Rules
medium.com
·
2d
🔤
Type Systems
US college student’s death in Barcelona was likely an
accident
,
Spanish
police say
chicago.suntimes.com
·
27m
🌍
Third Culture Kids
BYD’s bet on EVs is
paying
off as drivers
ditch
gas amid rising oil prices
electrek.co
·
28m
🔥
FIRE
Mosaic
downgraded
by Bank of America amid margin pressures
finance.yahoo.com
·
28m
📈
Investing
This Fan Made the
Sony-Nintendo
Handheld
the Companies Never Would
yankodesign.com
·
29m
⛩️
Anime
Three
uncapped
players included in Italy national team squad for World Cup
play-offs
sports.yahoo.com
·
29m
🔤
Type Systems
US speeds up deployment of thousands more
Marines
,
sailors
to Middle East
fox16.com
·
29m
💻
Programming
IRA
bomb victims drop civil court claim against
Gerry
Adams
scmp.com
·
30m
·
Discuss:
r/SCMPauto
📐
PLT
Future Today Strategy CEO on Super
Micro
Co-Founder
Charges
bloomberg.com
·
30m
📈
Investing
Harry Styles and
Zoë
Kravitz
Take Their Travel Accessories Very Seriously
vogue.com
·
31m
🌏
Expat Life
Jharkhand
Brothers Arrested for Attacking Woman Suspected of
Witchcraft
rediff.com
·
31m
🌺
Telugu
Action film star
Chuck
Norris
dies, aged 86
france24.com
·
32m
🎬
Movies
‘The Last Critic’ Review: Legendary Critic Robert
Christgau
Gets a Generous Homage in a Doc Revisiting Six Decades
Chronicling
the Best and Worst in Music
hollywoodreporter.com
·
35m
🎬
Movies
Bradford moon
spotters
pass on skills to next generation for
Eid
bbc.com
·
35m
🌍
Third Culture Kids
See the 2,500-Pound Bronze
Bison
as They Arrive at Their New, Permanent Place at the
Smithsonian
’s National Museum of Natural History
smithsonianmag.com
·
36m
🔤
Linguistics
The best
NAD
supplements
for 2026, recommended by experts
the-independent.com
·
37m
💰
Personal Finance
Loading...
Loading more...
Page 2 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help